منابع مشابه
Discrete Mathematics , Discrete Physics and Numerical Methods ∗
Discrete mathematics has been neglected for a long time. It has been put in the shade by the striking success of continuous mathematics in the last two centuries, mainly because continuous models in physics proved very reliable, but also because of the greater difficulty in dealing with it. This perspective has been rapidly changing in the last years owing to the needs of the numerical analysis...
متن کاملWave Equation Numerical Resolution: Mathematics and Program
We formally prove the C program that implements a simple numerical scheme for the resolution of the one-dimensional acoustic wave equation. Such an implementation introduces errors at several levels: the numerical scheme introduces method errors, and the floating-point computation leads to round-off errors. We formally specify in Coq the numerical scheme, prove both the method error and the rou...
متن کاملNumerical Mathematics ? ? ( 199 ? ) , ? { ? Highly Stable ParallelRunge - Kutta
The construction of stiiy accurate and B-stable multi-implicit Runge-Kutta methods for parallel implementation is discussed. A fth and a seventh order method is constructed and a promising numerical comparison with the eecient Radau5 code of E. Hairer and G. Wanner is conducted.
متن کاملArduino Etoys - a programming platform for Arduino on Physical Etoys
In the last fifteen years, the technological education has been essentially based on digital technology, leaving aside the use of concrete material. Still having excellent simulators of the physical world, working with concrete material allows the development of cognitive structures that digital doesn't offer. Moreover, these didactic resources allow highly participative group dynamics that hav...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Informatics in Education
سال: 2020
ISSN: 1648-5831,2335-8971
DOI: 10.15388/infedu.2020.12